Submit Comments

Printer Friendly Version

SAN MATEO, Calif., June 5 /PRNewswire/ -- Prover Technology, the world's leading provider of proof engines, today announced Tempo (code name), the newest member of its powerful Prover Plug-In family of proof engines. Tempo provides automated, sequential logical reasoning used for proving that sequential systems are bug-free. Tempo complements Prover's existing line of proof engine plug ins designed to perform automated reasoning for combinational logic.

The new product is targeted at Electronic Design Automation (EDA) and Computer-Aided Software Engineering (CASE) tool developers who want to provide their customers with a time-to-market advantage for complex hardware and software systems.

``Leading-edge verification tools are based on Proof engines,'' said Arne Boralv, President, Prover Technology, Inc. ``In Tempo, EDA and CASE tool developers now have access to the industry's first scalable proof engine for sequential hardware and software systems, helping their customers to take the guesswork out of complex system design challenges, such as SoCs. With Tempo, users are able to quickly verify that their designs meet specification -- from within a few seconds to an hour, compared to the weeks or months it might typically take to verify designs.''

How it Works

Tempo provides automated reasoning for sequential logic to prove, for example, that two sequential systems behave in the exact same way. Prover's patented proof engine technology searches a design for bugs, testing every possible contingency a design could encounter. If bugs are detected, Tempo pinpoints them. If the proof engine finds that the design is error-free, the designer can be 100% certain that the design will function properly and meet its design specification. Tempo is used for a variety of applications, including sequential equivalence checking, model checking, property validation, requirements validation, consistency and completeness checking and test case generation.

Push-Button Technology Provides Accurate Results

The Prover Plug-In suite of proof engines provides high-capacity, scalable, easy-to-use verification technology that can be used to prove that system designs are bug free. The company's 12 years of industry experience and knowledge help differentiate Prover Plug-In proof methods from other verification technologies. By using Prover Plug-Ins, tool developers can provide their customers with the highest capacity, speed and ease-of-use available on the market.

Prover's proof engine conducts exhaustive verification without user-generated test cases. This translates into faster set-up and verification times over other verification approaches, meaning users spend more time designing and less time debugging systems. Unlike other methods, users do not need to be experts in mathematics in order to use Prover Plug-In to conduct formal verification of their designs.

    Availability
    Tempo will be released in the fall of 2001.

About Prover Plug-In

Prover Plug-In software components are the industry's most powerful proof engines. They are used in EDA and CASE tools to automatically verify hardware and software designs and provide 100 percent test coverage. EDA and CASE tool developers customize and integrate Prover Plug-Ins into their system development tools and environments. With the touch of a button system engineers have access to fully automated verification resulting in dramatic time and resource benefits. Prover Plug-In proof engines have well-defined ANSI C APIs and are compatible with common industry standards.

About Prover Technology

Prover Technology is the world's leading provider of proof engines. Founded in 1989, Prover Technology is one of the industry's most experienced companies in the field of automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has sales offices and R&D centers in Silicon Valley and Oregon, U.S., Sweden (HQ), and France. For more information, visit Prover Technology's web site at www.prover.com.